2-nerves for bicategories
نویسندگان
چکیده
منابع مشابه
2-nerves for bicategories
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. This becomes the object part of a 2-functor N : NHom → [∆,Cat], where NHom is a 2-category whose objects are bicategories and whose 1-cells are normal homomorphisms of bicategories. The 2-functor N is fully faithful and has a left biadjoint, and we characterize it...
متن کاملNerves and Classifying Spaces for Bicategories
This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate ‘nerves of C’ are homotopy equivalent. Any one of these realizations could therefore be taken as the classifying space BC of the bicategory. Its other major resul...
متن کاملBasic Bicategories
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
متن کاملIntroduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملBicategories of Concurrent Games
This paper summarises recent results on bicategories of concurrent games and strategies. Nondeterministic concurrent strategies, those nondeterministic plays of a game left essentially unchanged by composition with copy-cat strategies, have recently been characterized as certain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterminist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: K-Theory
سال: 2008
ISSN: 1573-0514,0920-3036
DOI: 10.1007/s10977-007-9013-2